181. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
182. BASIC programs for scientists and engineers
پدیدآورنده: Miller, Alan R., 2391-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Mathematics- Computer programs,، Science- Computer programs,، Engineering- Computer programs,، BASIC )Computer program language(
رده :
QA
76
.
95
.
M53
1981
183. BASIC programs for scientists and engineers
پدیدآورنده: Miller, Alan R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Computer programs,، Science-- Computer programs,، Engineering-- Computer program,، Basic )Computer program language(
رده :
QA
76
.
95
.
M53
1981
184. Barriers and Challenges in Computational Fluid Dynamics
پدیدآورنده: edited by V. Venkatakrishnan, Manuel D. Salas, Sukumar R. Chakravarthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Mechanics.,Physics.
185. Basic Concepts in Computational Physics /
پدیدآورنده: by Benjamin A. Stickler, Ewald Schachinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.
رده :
QC1-999
186. Beginning math and physics for game programmers
پدیدآورنده: / Wendy Stahler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004
187. Best Approximation in Inner Product Spaces
پدیدآورنده: by Frank Deutsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Global analysis (Mathematics).,Mathematics.
188. Big data in engineering applications /
پدیدآورنده: Sanjiban Sekhar Roy, Pijush Samui, Ravinesh Deo, Stavros Ntalampiras, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Big data.,Computational intelligence.,Computer science-- Mathematics.,Engineering.,Big data.,Computational intelligence.,Computer science-- Mathematics.,COMPUTERS-- Data Processing.,Engineering.
رده :
Q342
189. Biostatistic and Computer Applications
پدیدآورنده: Goswami Rajeev
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
B46G77
2009
190. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده: Plummer, Daniel Eugene
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Electrical engineering,Mathematics
191. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده: Plummer, Daniel Eugene
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Electrical engineering,Mathematics
192. Boolean function complexity : advances and frontiers
پدیدآورنده: Stasys Jukna
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Computer science -- Mathematics,، Combinatorial analysis
رده :
QA
267
.
7
.
J84B6
193. Boundary Element Techniques in Computer-Aided Engineering
پدیدآورنده: edited by C.A. Brebbia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science -- Mathematics.,Mathematics.
194. Boundary Value Problems for Engineers
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering mathematics. ; Computer science. ; Computer engineering. ; Engineering Mathematics. ;
195. Bounded Queries in Recursion Theory
پدیدآورنده: by William I. Gasarch, Georgia A. Martin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
196. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
197. Building bridges :between mathematics and computer science
پدیدآورنده: / [edited by] Martin Groetschel, Gyula O.H. Katona
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Computer science -- Mathematics,-- Congresses
رده :
004
.
0151
B932
2008
198. Building bridges: between mathematics and computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
M35
.
B85
2008
199. Building bridges : between mathematics and computer science
پدیدآورنده: Martin Grotschel, Gyula O. Katona )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
B84
200. CAST Methods in Modelling :
پدیدآورنده: edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
